package explorer.driver;

import java.util.ArrayList;


public interface Code {
  public void run() throws Exception;
  public long getTotalTime();
  public long getSolverTime();
  public long getValidExecutionsTime();
  public ArrayList<int[]> getValidConfigurations();
  void runExecution(int i, ArrayList<int[]> configurations, int testId);
  public int getValidExecutionsNumber();
  public int getInvalidExecutionsNumber();
  public String getName();
}
